首页> 外文OA文献 >A short and flexible proof of Strong Normalization for the Calculus of Constructions

【2h】

A short and flexible proof of Strong Normalization for the Calculus of Constructions

机译：建构微积分强度归一化的简短灵活证明

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Herman Geuvers;
展开▼
作者单位

展开▼
年度 1994
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Short proofs of normalization for the simply-typed λ-calculus, permutative conversions and Godel's T [J] . Felix Joachimski, Ralph Matthes Archive for Mathematical Logic . 2003,第1期

机译：简单型λ演算，置换变换和Godel T的归一化的简短证明
2. A short proof of the strong normalization of classical natural deduction with disjunction [J] . Rene David, Karim Nour Journal of Symbolic Logic . 2003,第4期

机译：析取自然经典演绎的强归一化的简短证明
3. Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus [J] . INGE LI GORTZ, SIGNE REUSS, MORTEN HEINE SORENSEN Higher-order and symbolic computation . 2003,第3期

机译：从弱归一化到Lambda-I-微积分的强归一化
4. An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types [C] . Rene David, Karim Nour International Conference on Typed Lambda Calculi and Applications(TLCA 2007); 20070626-28; Paris(FR) . 2007

机译：类型上具有递归方程的λ微积分强归一化的算术证明
5. An analysis of transition-to-proof course students' proof construction attempts [D] . Benkhalti, Ahmed 2017

机译：经途径施工施工企图分析
6. A new proof of the generalized Hamiltonian–Real calculus [O] . Dongpo Xu, Hua Gao, Danilo P. Mandic 2016

机译：广义哈密顿实数演算的新证明
7. Modular proof of strong normalization for the calculus of constructions [O] . Herman Geuvers, Mark-Jan Nederhof 1991

机译：强大规范化的模块化证据

A short and flexible proof of Strong Normalization for the Calculus of Constructions

著录项

引文网络

相似文献

相关主题

期刊订阅